English translation for "prepositional logic"
|
- 介词逻辑2
Related Translations:
prepositional: adj.【语法】前置词的，介词的。 a prepositional phrase 前置词短语。adv.-ly
- Example Sentences:
| 1. | Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。 | | 2. | Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。 | | 3. | This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic
本文的研究结合国家自然科学基金“经验知识推理理论” ( 60273087 )和北京市自然科学基金“不精确推理理论研究” ( 4032009 )进行，主要是研究命题泛逻辑学对其他命题逻辑的包容性，即根据泛逻辑学的生成规则，可以直接生成各种命题逻辑。 |
- Similar Words：
- "prepositional" English translation, "prepositional calculus" English translation, "prepositional constructions" English translation, "prepositional deletion" English translation, "prepositional insertion" English translation, "prepositional object" English translation, "prepositional opposition" English translation, "prepositional phrase" English translation, "prepositionally" English translation, "prepositioned" English translation
|
|
|
